}
	public void mouseReleased(MouseEvent e) {
    	if (! e.isConsumed()) {
			pressed = true;
			repaint();
		}
	}
	public void mouseReleased(MouseEvent e) {
		if (! e.isConsumed()) {
			pressed = false;
			repaint();
		}
	}
}